Logical Integrity

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Logical Model of Conceptual Integrity in Data Integration

Conceptual integrity is required for the result of data integration to be cohesive and sensible. Compromised conceptual integrity results in "semantic faults," which are commonly blamed for latent integration bugs. A logical model of conceptual integrity in data integration and a simple example application are presented. Unlike constructive models that attempt to prevent semantic faults, this m...

متن کامل

A Logical Multidemand Bargaining Model with Integrity Constraints

This paper proposes a logical model of multi-demand bargaining with integrity constraints. We also construct a simultaneous concession solution to bargaining games of this kind, and show that the solution is uniquely characterised by a set of logical properties. Moreover, we prove that the solution also satisfies the most fundamental game theoretic properties such as symmetry and Pareto optimal...

متن کامل

Metaphysics of Logical Realism

با اینکه اغلب به غلط تصور می­شود که فلسفۀ تحلیلی، به عنوان یک جنبش ضد-متافیزیکی، هیچ ارتباطی با متافیزیک ندارد، اما دلایل خوبی وجود دارند که بر اساس آن می­توان تمایلات متافیزیکی فیلسوفان تحلیلی را تصدیق نمود و متعاقباً ماهیت ضد-متافیزیکی فلسفه تحلیلی را در تمام مراحل شکل­گیری­اش به حداقل رساند. چون فلسفه تحلیلی یک جنبش تاریخی است که ماهیت اصلی آن در چند مرحله شکل یافته است، لذا با پیگیری این مرا...

متن کامل

Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints

There is no agreement in the litterature about the de nition of integrity constraints in the context of data and/or knowledge bases. What kind of property people want to guarantee using integrity constraints? Is it the property of consistency of database content or the completeness of database content [6] or validity or completeness of database content with regard to the world [3] or some prope...

متن کامل

Logical Grammars, Logical Theories

Residuated lattices form one of the theoretical backbones of the Lambek Calculus as the standard free models. They also appear in grammatical inference as the syntactic concept lattice, an algebraic structure canonically defined for every language L based on the lattice of all distributionally definable subsets of strings. Recent results show that it is possible to build representations, such a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Semantics and Linguistic Theory

سال: 2018

ISSN: 2163-5951

DOI: 10.3765/salt.v28i0.4419